Lingzhong Zhao: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lie Symmetry Analysis, Traveling Wave Solutions, and Conservation Laws to the (3â+â1)-Dimensional Generalized B-Type Kadomtsev-Petviashvili Equation

Yang, Huizhang, Liu, Wei, Zhao, Yunmei, Guo, Lingzhong

Journal:

Year:

2020

File:

PDF, 1.30 MB

2020

2

Using ASP for knowledge management with user authorization

Lingzhong Zhao, Junyan Qian, Liang Chang, Guoyong Cai

Journal:

Data & Knowledge Engineering

Year:

2010

Language:

english

File:

PDF, 1019 KB

english, 2010

3

A Family of Dynamic Description Logics for Representing and Reasoning About Actions

Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 986 KB

english, 2012

4

Lattice Dynamical Wavelet Neural Networks Implemented Using Particle Swarm Optimization for Spatio–Temporal System Identification

Hua-Liang Wei,, Billings, S.A., Yifan Zhao,, Lingzhong Guo

Journal:

IEEE Transactions on Neural Networks

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

5

[IEEE 2015 Asia-Pacific Software Engineering Conference (APSEC) - New Delhi (2015.12.1-2015.12.4)] 2015 Asia-Pacific Software Engineering Conference (APSEC) - CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming

Situ, Lingyun, Zhao, Lingzhong

Year:

2015

Language:

english

File:

PDF, 459 KB

english, 2015

6

An efficient method for reconfiguring power-efficient VLSI array with maximum satisfiability

Qian, Junyan, Chen, Cong, Zhao, Lingzhong, Guo, Yunchuan

Journal:

IEEJ Transactions on Electrical and Electronic Engineering

Year:

2018

Language:

english

File:

PDF, 384 KB

english, 2018

7

IoT-RECSMâResource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment

Zhai, Zhongyi, Xiang, Ke, Zhao, Lingzhong, Cheng, Bo, Qian, Junyan, Wu, Jinsong

Journal:

Year:

2020

File:

PDF, 1.65 MB

2020

8

Test frame updating in CPM testing of Prolog programs

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Journal:

Software Quality Journal

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

9

Abstract model checking for Web services

Junyan Qian, Guoyong Cai, Tianlong Gu, Lingzhong Zhao

Journal:

Wuhan University Journal of Natural Sciences

Year:

2008

Language:

english

File:

PDF, 319 KB

english, 2008

10

In vitroanti-hepatoma effects of monocytes and kupffer cells isolated from hepatoma patients after treatment with biological immune stimulants

Cheng Lingzhong, Han Wei, Zhong Cuiping, Gu Yundi, Zhao Gang, Lin Zhiying, Tang Zhaoyou

Journal:

Chinese Journal of Cancer Research

Year:

1991

Language:

english

File:

PDF, 262 KB

english, 1991

11

Diary of the Week

Qian, Junyan, Li, Min, Zhao, Lingzhong

Journal:

Year:

1981

Language:

english

File:

PDF, 148 KB

english, 1981

12

A GIPSY ENCAMPMENT.

Qian, Junyan, Li, Min, Zhao, Lingzhong

Journal:

Year:

1929

Language:

english

File:

PDF, 407 KB

english, 1929

13

Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction

Qian, Junyan, Li, Min, Zhao, Lingzhong

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 807 KB

english, 2012

14

Retraction notice to “Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction” [PROCS9 (2012) 1363–1370]

Qian, Junyan, Li, Min, Zhao, Lingzhong

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 50 KB

english, 2012

15

Summarization of Boolean satisfiability verification

Qian, Junyan, Wu, Juan, Zhao, Lingzhong, Guo, Yunchuan

Journal:

Journal of Electronics (China)

Year:

2014

Language:

english

File:

PDF, 240 KB

english, 2014

16

[IEEE 2009 3rd International Conference on Genetic and Evolutionary Computing (WGEC) - Guilin, China (2009.10.14-2009.10.17)] 2009 Third International Conference on Genetic and Evolutionary Computing - An ASP Based Solution to Mechanical Assembly Sequence Planning

Wang, Xuesong, Zhao, Lingzhong, Zeng, Congwen, Qian, Junyan, Gu, Tianlong

Year:

2009

Language:

english

File:

PDF, 270 KB

english, 2009

17

[IEEE 2011 Seventh International Conference on Computational Intelligence and Security (CIS) - Sanya, Hainan, China (2011.12.3-2011.12.4)] 2011 Seventh International Conference on Computational Intelligence and Security - A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model

Li, You, Lin, Yuming, Zhao, Lingzhong

Year:

2011

Language:

english

File:

PDF, 267 KB

english, 2011

18

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Goal-independent Semantics for Path Dependent Analysis of Prolog Programs

Zhao, Lingzhong, Gu, Tianlong, Qian, Junyan

Year:

2007

Language:

english

File:

PDF, 323 KB

english, 2007

19

[IEEE 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - Dalian, Liaoning, China (2007.09.18-2007.09.21)] 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - Distributed collaborating system design via electronic institutional calculus

Cai, Guoyong, Gao, Ji, Qian, Junyan, Zhao, Lingzhong

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

20

[IEEE 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS) - Guilin, China (2010.10.22-2010.10.24)] 2010 International Conference on Intelligent Computing and Integrated Systems - A Knowledge based method for Data Flow Analysis

Lingzhong Zhao,, Yili Fang,

Year:

2010

Language:

english

File:

PDF, 288 KB

english, 2010

21

[IEEE 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - Shanghai, China (2009.06.1-2009.06.3)] 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - Automatic Construction of Complete Abstraction by Abstract Interpretation

Qian, Junyan, Zhao, Lingzhong, Cai, Guoyong, Gu, Tianlong

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

22

A Spatial Frequency Domain Analysis of the Belousov–Zhabotinsky Reaction

Guo, Lingzhong, Guo, Yuzhu, Zhao, Yifan, Billings, Stephen A., Coca, Daniel, Lang, Zhiqiang

Journal:

International Journal of Bifurcation and Chaos

Year:

2014

Language:

english

File:

PDF, 1.38 MB

english, 2014

23

Scalable and DiI-compatible optical clearance of the mammalian brain

Hou, Bing, Zhang, Dan, Zhao, Shan, Wei, Mengping, Yang, Zaifu, Wang, Shaoxia, Wang, Jiarui, Zhang, Xin, Liu, Bing, Fan, Lingzhong, Li, Yang, Qiu, Zilong, Zhang, Chen, Jiang, Tianzi

Journal:

Frontiers in Neuroanatomy

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

24

Adopting the American anesthesia oral examination in China: value and roadblocks

Zhao, Jing, Yu, Weifeng, Tong, Chuanyao, Xie, Zhongcong, Sun, Jianzhong, Zhou, Shao Feng, Liu, Hong, Meng, Lingzhong

Journal:

Journal of Clinical Anesthesia

Year:

2016

Language:

english

File:

PDF, 133 KB

english, 2016

25

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow

Qian, Junyan, Zhou, Zhide, Gu, Tianlong, Zhao, Lingzhong, Change, Liang

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2016

Language:

english

File:

PDF, 2.06 MB

english, 2016

26

[IEEE 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - Dalian, Liaoning, China (2007.09.18-2007.09.21)] 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) - Distributed collaborating system design via electronic institutional calculus

Cai, Guoyong, Gao, Ji, Qian, Junyan, Zhao, Lingzhong

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

27

An integer programming method for constructing tightly coupled VLSI subarrays

Qian, Junyan, Zhou, Zhide, Zhao, Lingzhong, Gu, Tianlong, Chang, Liang

Journal:

IEICE Electronics Express

Year:

2016

Language:

english

File:

PDF, 887 KB

english, 2016

28

A Data-Driven Service Creation Approach for End-Users

Zhai, Zhongyi, Cheng, Bo, Tian, Yue, Chen, Junliang, Zhao, Lingzhong, Niu, Meng

Journal:

Year:

2016

Language:

english

File:

PDF, 10.13 MB

english, 2016

29

Efficient abstraction algorithms for accelerating reconfiguration of VLSI arrays

Qian, Junyan, Bai, Zhangshun, Zhou, Zhide, Zhao, Lingzhong, Chang, Liang

Journal:

IEEJ Transactions on Electrical and Electronic Engineering

Year:

2017

Language:

english

File:

PDF, 1.05 MB

english, 2017

30

A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting

Qian, Junyan, Wang, Yiping, Chang, Liang, Zhou, Zhide, Zhao, Lingzhong

Journal:

Year:

2017

Language:

english

File:

PDF, 1.53 MB

english, 2017

31

Anatomical Substrates of the Alerting, Orienting and Executive Control Components of Attention: Focus on the Posterior Parietal Lobe

Yin, Xuntao, Zhao, Lu, Xu, Junhai, Evans, Alan C., Fan, Lingzhong, Ge, Haitao, Tang, Yuchun, Khundrakpam, Budhachandra, Wang, Jian, Liu, Shuwei, de Lange, Floris P.

Journal:

Year:

2012

Language:

english

File:

PDF, 1.05 MB

english, 2012

32

Accelerating reconfiguration for VLSI arrays with A-Star algorithm

Qian, Junyan, Zhou, Zhide, Zhao, Lingzhong, Zhang, Jingwei, Li, Fengying

Journal:

IEEJ Transactions on Electrical and Electronic Engineering

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

33

[ACM Press the 24th Annual International Conference - New Delhi, India (2018.10.29-2018.11.02)] Proceedings of the 24th Annual International Conference on Mobile Computing and Networking - MobiCom '18 - Poster

Zhai, Zhongyi, Qian, Junyan, Tao, Yuan, Zhao, Lingzhong, Cheng, Bo

Year:

2018

Language:

english

File:

PDF, 901 KB

english, 2018

34

Fine-Grained Parcellation of the Macaque Nucleus Accumbens by High-Resolution Diffusion Tensor Tractography

Xia, Xiaoluan, Fan, Lingzhong, Hou, Bing, Zhang, Baogui, Zhang, Dan, Cheng, Chen, Deng, Hongxia, Dong, Yunyun, Zhao, Xudong, Li, Haifang, Jiang, Tianzi

Journal:

Frontiers in Neuroscience

Year:

2019

Language:

english

File:

PDF, 5.17 MB

english, 2019

35

Anatomical Connectivity-Based Strategy for Targeting Transcranial Magnetic Stimulation as Antidepressant Therapy

Tao, Qi, Yang, Yongfeng, Yu, Hongyan, Fan, Lingzhong, Luan, Shuxin, Zhang, Lei, Zhao, Hua, Lv, Luxian, Jiang, Tianzi, Song, Xueqin

Journal:

Frontiers in Psychiatry

Year:

2020

File:

PDF, 1.84 MB

2020

36

An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray

Qian, Junyan, Huang, Bisheng, Ding, Hao, Zhou, Zhide, Zhao, Lingzhong, Zhai, Zhongyi

Journal:

Integration, the VLSI Journal

Year:

2020

File:

PDF, 2.90 MB

2020

37

Double standards: why is pulse oximetry standard care, whereas tissue oximetry is not?

Zhao, Xu, Xiao, Huaping, Cai, Junying, Meng, Lingzhong

Journal:

Current Opinion in Anaesthesiology

Year:

2020

File:

PDF, 1.26 MB

2020

38

Hemodynamic management and surgical site infection: Network meta-analysis of randomized controlled trials

Zhao, Xu, Zhang, Lina, Brackett, Alexandria, Dai, Feng, Xu, Junmei, Meng, Lingzhong

Journal:

Journal of Clinical Anesthesia

Year:

2020

File:

PDF, 3.19 MB

2020

39

Classification and differential effectiveness of goal-directed hemodynamic therapies in surgical patients: A network meta-analysis of randomized controlled trials

Zhao, Xu, Tian, Li, Brackett, Alexandria, Dai, Feng, Xu, Junmei, Meng, Lingzhong

Journal:

Journal of Critical Care

Year:

2020

File:

PDF, 2.67 MB

2020